<short summary of the patch>

<short summary of the patch>

Bug-Debian: https://bugs.debian.org/919477

TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.

gcl (2.6.12-83) unstable; urgency=high

  * Version_2_6_13pre79
  * Fix acl2 arm builds (Closes: #919477).

Gbp-Pq: Name Version_2_6_13pre80